development and creative thinking of dynamic semantics 动态语义学的发展和创新思维
a clearly defined dynamic semantic framework 一种清晰定义的动态语义框架
from drt to sdrt-new development of the theory of dynamic semantics 动态语义理论的新发展
in the uml specification, the editors describe the static semantics in formal language ocl ( object constraint language ) and natural language, while the dynamic semantics is almost described in natural language . uml lacks in a strict definition of dynamic semantics 在uml规范中,编制者是用较为形式化的语言ocl(objectconstraintlanguage)和自然语言两种手段描述静态语义,而动态语义却基本上完全是用自然语言来描述的,uml缺乏一个严格的动态语义定义。
in the uml specification, the editors describe the static semantics in formal language ocl ( object constraint language ) and natural language, while the dynamic semantics is almost described in natural language . uml lacks in a strict definition of dynamic semantics 在uml规范中,编制者是用较为形式化的语言ocl(objectconstraintlanguage)和自然语言两种手段描述静态语义,而动态语义却基本上完全是用自然语言来描述的,uml缺乏一个严格的动态语义定义。